Automatic Evolution of Java-Written Game Heuristics
نویسندگان
چکیده
FINCH is a methodology for evolving Java bytecode, enabling the evolution of extant, unrestricted Java programs, or programs in other languages that compile to Java bytecode. The established approach in genetic programming (GP) involves the definition of functions and terminals appropriate to the problem at hand, after which evolution of expressions using these definitions takes place. FINCH evolutionarily improves actual, extant software, which was not intentionally written for the purpose of serving as a GP representation in particular, nor for evolution in general. In this work we show how several game heuristics that are taken as real-world Java programs are effortlessly and automatically improved by FINCH. We have developed a powerful tool [1,2,3] by which extant software, written in the Java programming language, or in a language that compiles to Java bytecode, can be evolved directly, without an intermediate genomic representation, and with no restrictions on the constructs used. We provide an overview of this system, some previous results, its usability, and the application of FINCH to evolving Java-written game heuristics.
منابع مشابه
An Enhanced Generic Automated Marking Environment: GAME-2
In this paper we describe an extension of the Generic Automated Marking Environment (GAME-2) and provide an analysis of its performance in assessing student programming projects. GAME-2 has been designed to automatically assess programming exercises written in C, C++ and JAVA languages based on a number of factors including meaningful comments, the structure of functions and the detection and c...
متن کاملAn Enhanced Generic Automated Marking Environment: GAME-2
This paper describes an extension of the Generic Automated Marking Environment (GAME-2) and provides an analysis of its performance in assessing student programming projects. GAME-2 has been designed to automatically assess programming exercises written in C, C++ and JAVA languages based on a number of factors including meaningful comments, the structure of functions and the detection and corre...
متن کاملApplying Model Checking in Java Veri
This paper presents our experiences in applying the Java PathFinder (Jpf), a recently developed Java to Promela translator, in the search for synchronization bugs in a Chinese Chess game server application written in Java. We give an overview of Jpf and the subset of Java that it supports and describe an initial eeort to abstract and analyze the game server. Finally, we evaluate the results of ...
متن کاملApplying Model Checking in Java Veri cationTo
This paper presents our experiences in applying the Java PathFinder (Jpf), a recently developed Java to Promela translator, in the search for synchronization bugs in a Chinese Chess game server application written in Java. We give an overview of Jpf and the subset of Java that it supports and describe an initial eeort to abstract and analyze the game server. Finally, we evaluate the results of ...
متن کاملApplying Model Checking in Java Verification
This paper presents our experiences in applying the Java PathFinder (Jpf), a recently developed Java to Promela translator, in the search for synchronization bugs in a Chinese Chess game server application written in Java. We give an overview of Jpf and the subset of Java that it supports and describe an initial effort to abstract and analyze the game server. Finally, we evaluate the results of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011